reachability相关论文
Conditional pushdown systems (CPDSs) extend pushdown systems by associating each transition rule with a regular language......
This paper studies the reachability problem of the switched linear discrete singular (SLDS) systems. Under the condition......
根据单纯形仿射混杂系统的可达性分析设计控制律,使机器人在平面任意两点间运行,保证其安全性并考虑其最优性.对机器人的状态空间......
In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the......
可达性是Petri网的一个基本性质,其判定问题是Petri网理论研究方面的一个重要课题。众所周知,一个Petri网的状态方程可满足性是其......
基于极小T-不变量增加的Petri网的可达性分析,首先对网的状态方程加以合理的约束,求得一组特征解向量;然后利用扩展极小T-不变量关......
petri网系统的可达性问题是系统的状态、行为分析的基础．本文主要研究了通过建立能量优化模型方法和神经网络技术来实现可达性问题......
自控网系统是Petri网系统的一个子类，与P／T系统以及基本网系统相比较，具有更强的描述能力和建模能力。文章以自控网系统为基础，定义了......
用 Baire 度量标准，这份报纸由开发近似 reachability 和近似 bisimulation 等价的观点建议转变系统近似的一个概括框架。建议框架......
定义了一个petri网子类：PN=（S，T；F，M0），满足条件Vs∈S→｜s｜≤1。证明：当目标标识Md〉0时，此petri网子类的可达性等价于状态方程Md=M0＋A^TX的可......
在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上......
Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文......
为实现在轨维护维修性验证技术中可达性定量化分析的目的,首先对维修任务进行任务层次法分解。在此基础上,对维修作业进行运动控制......
可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。......
针对不确定性并行程序难于测试的问题,分析了并行程序消息传递行为与网格环境中网络性能约束之间的关系,在经典可达性测试算法的基......
在一个网系统中，如果每个库所中的标志数都等于0，则说这个网系统中的标识是一个空标识。文[1]通过例子指出空标识可以是一个网系统的......
在无线Ad hoc网络中,广播作为一种重要的通信方式被许多单播和多播协议用来完成其路由建立和维护工作.文中假设网络中所有的移动节......
定义了15-谜问题的6个动作规则,在此基础上证明了15-谜问题解的存在性判定的充分必要条件,其充分性的证明过程是一个构造性证明方......
针对网构软件（Internetware）可达性检测中存在状态空间“爆炸”等问题，提出了一种基于网构软件代数模型的可达性检测方法．根据网构软件......
基于无界FIFO消息队列的通信框架作为一种通用的并发系统模型，常用于事件驱动的并发程序或分布式程序建模．然而当模型包含递归过程调......
通过大数据技术抓取百度地图中288个地级市及以上城市之间的最短旅行时间,修正加权平均旅行时间公式,研究我国城市可达性空间格局......
利用RAMSIS人体模型对跨坐式单轨驾驶室操控件进行人机工程的可及性分析,通过分析得出大部分不同百分位人体均能满足目前操控件的......
Petri网是一种具有动态特性的建模工具，模糊Petri网是Petri网的一个重要分支，可以有效处理具有不精确的、不确定的复杂因素的系统模......
为了保护社会网络隐私信息，提出了多种社会网络图匿名化技术．图匿名化目的在于通过图修改操作来防止隐私泄露，同时保证匿名图在社会网......
本文通过对最小飞行机组条款的解读,设计了相应的模拟实验,对机组工作功能和工作量评估进行深入研究。本文采用的方法是计算机辅助......
数据链路层位于网络体系结构第二层，向网络层提供统一界面。利用Petri网对基本的数据链路层协议建模，根据变迁设定原则，将逻辑状态与......
提出一类新的模糊Petri网,讨论了其可达性问题,其特点是一方面保持适度的不确定性,以便于分析,另一方面又可作为许多实际问题的模......
以机械维修过程中存在的人机工程学问题为出发点，结合维修工作的特点，对维修作业中存在的人机工程问题（操作可达性、视觉可达性和维修......
Petri网的合法变迁引发序列问题（LFS）是其可达性问题的子问题。前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一......
